Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
541	Microsoft PowerPoint - RA II (FTA,ETA).ppt [Compatibility Mode] Add to Reading List Source URL: www.lsa.ethz.ch Language: English - Date: 2010-03-17 05:21:28 Mathematics Systems science Probability theory Statistical dependence Fault tree analysis Boolean algebra Independence Boolean algebras canonically defined Safety engineering Systems engineering Algebraic logic Reliability engineering
542	Some Remarks on Stoic Logic Nino B. Cocchiarella For Class 1 C Students of Professor Giuseppe Addona Stoicism is an ancient school of philosophy. It was founded by Zeno of Citium in Cyprus around 300 B.C. Except for frag Add to Reading List Source URL: www.ontologysa.com Language: English - Date: 2013-05-04 01:08:02 Boolean algebra Semantics Logical connectives Material conditional Relevance logic Proposition Truth table Negation Modal logic Logic Propositional calculus Philosophical logic
543	Some Remarks on Stoic Logic Nino B. Cocchiarella For Class 1 C Students of Professor Giuseppe Addona Stoicism is an ancient school of philosophy. It was founded by Zeno of Citium in Cyprus around 300 B.C. Except for frag Add to Reading List Source URL: www.ontologyafrica.com Language: English - Date: 2013-04-30 14:53:00 Boolean algebra Semantics Logical connectives Material conditional Relevance logic Proposition Truth table Negation Modal logic Logic Propositional calculus Philosophical logic
544	Number of Extensions of Non-Fregean Logics Joanna Goli´ nska Taneli Huuskonen Add to Reading List Source URL: www.helsinki.fi Language: English - Date: 2002-10-23 16:15:22 Model theory Metalogic Logical syntax Boolean algebra Interpretation Entailment First-order logic Constructible universe Axiom Logic Mathematical logic Propositional calculus
545	Some Remarks on Stoic Logic Nino B. Cocchiarella For Class 1 C Students of Professor Giuseppe Addona Stoicism is an ancient school of philosophy. It was founded by Zeno of Citium in Cyprus around 300 B.C. Except for frag Add to Reading List Source URL: www.ontologyasia.com Language: English - Date: 2013-05-01 04:11:18 Boolean algebra Semantics Logical connectives Material conditional Relevance logic Proposition Truth table Negation Modal logic Logic Propositional calculus Philosophical logic
546	Microsoft Word - Nusbaumer-Rauzy - FTL versus ETL Mathematical and Algorithmic Reconciliation_revised.doc Add to Reading List Source URL: nusbaumer.tripod.com Language: English - Date: 2012-09-02 05:45:24 Mathematics Diagrams Philosophical logic Reliability engineering Canonical form Binary decision diagram Quantification Equivalence relation Fault tree analysis Logic Mathematical logic Boolean algebra
547	Analytical Solutions of Large Fault Tree Models using BDD: New Techniques and Applications Olivier Nusbaumera, Wolfgang Krögerb, and Enrico Zioc a b Add to Reading List Source URL: nusbaumer.tripod.com Language: English* - Date: 2012-09-02 05:44:01 Binary decision diagram Model checking Theoretical computer science Zero-suppressed decision diagram Directed acyclic graph Static single assignment form Hypergraph Formal methods Boolean algebra Diagrams Mathematics
548	A Boolean Paradigm in Multi-Valued Logic Synthesis Alan Mishchenko Department of ECE Portland State University [removed] Abstract Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2002-05-17 15:32:32 Algebraic logic Electronic engineering Electronic design automation Diagrams Electronic design Binary decision diagram Logic synthesis Boolean satisfiability problem Boolean function Boolean algebra Mathematics Mathematical logic
549	Threshold Phenomena and Influence with Some Perspectives from Mathematics, Computer Science, and Economics Gil Kalai∗ and Shmuel Safra† ∗ Add to Reading List Source URL: www.ma.huji.ac.il Language: English - Date: 2005-09-22 13:44:28 Boolean algebra Computational complexity theory Monotonic function Circuit complexity Boolean function FO Boolean circuit Circuit IP Theoretical computer science Applied mathematics Mathematics
550	Exploring Multi-Valued Minimization Using Binary Methods Alan Mishchenko Department of EECS UC Berkeley Berkeley, CA[removed]removed] Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-01-21 13:03:49 Algebraic logic Binary decision diagram Diagrams Model checking Prime number 700 500 Canonical form Binary function Mathematics Boolean algebra Mathematical logic

UPDATE